81. Formal methods for software architectures :
پدیدآورنده: Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
رده :
QA76
.
9
.
F67
M373
2003
82. Formal techniques for networked and distributed systems
پدیدآورنده: / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
83. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده: edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
84. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده: / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
85. Foundations of software science and computation structures :
پدیدآورنده: Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
86. Frontier computing :
پدیدآورنده: Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
87. Fundamental approaches to software engineering :
پدیدآورنده: Alessandra Russo, Andy Schürr (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
رده :
QA76
.
758
.
F37
2018eb
88. Graphics for chemical structures :
پدیدآورنده: Wendy A. Warr, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemical structure-- Data processing, Congresses.,Computer graphics, Congresses.
رده :
QD471
.
G753
1987
89. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده: Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
90. Human-centered software engineering :
پدیدآورنده: Cristian Bogdan, Kati Kuusinen, Marta Kristín Lárusdóttir, Philippe Palanque, Marco Winckler (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Software engineering, Congresses.,User-centered system design, Congresses.,Software engineering.,User-centered system design.
رده :
QA76
.
9
.
H85
91. Human-computer interaction :
پدیدآورنده: edited by Masaaki Kurosu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Human-computer interaction, Congresses.,Human-computer interaction.
رده :
QA76
.
9
.
H85
92. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده: Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
93. Includes bibliographical references (p. 375) and index. 0
پدیدآورنده: Brian M. Fagan.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
94. Includes bibliographical references (p. 225-231) and index. 0
پدیدآورنده: Andrew Green.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
95. Industrial networks and intelligent systems :
پدیدآورنده: Trung Q Duong, Nguyen-Son Vo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks-- Industrial applications, Congresses.,Expert systems (Computer science), Congresses.,Computer networks-- Industrial applications.,Expert systems (Computer science)
رده :
TK5105
.
5
96. Information and communication technologies in modern agricultural development :
پدیدآورنده: Michail Salampasis, Thomas Bournaris (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Agriculture-- Data processing, Congresses.,Agriculture-- Data processing.
رده :
S494
.
5
.
D3
97. Information systems design and intelligent applications :
پدیدآورنده: editors, Suresh Chandra Satapathy, Vikrant Bhateja, Radhakhrishna Somanah, Xin-She Yang and Roman Senkerik.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence-- Computer programs, Congresses.,Computer science, Congresses.,Data mining, Congresses.,Information technology, Congresses.,Artificial intelligence-- Computer programs.,Computer science.,COMPUTERS-- General.,Data mining.,Information technology.
رده :
Q334
98. Information systems development
پدیدآورنده: edited by Olegas Vasilecas ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development, Congresses.,Instructional systems-- Design, Congresses.,System design, Congresses.
99. Information systems development :
پدیدآورنده: Jaroslav Pokorny [and others], editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information resources management, Congresses,Software engineering, Congresses,Business Information Systems,Computer Science,Computer Science, general,Database Management,Information Storage and Retrieval,Software Engineering/Programming and Operating Systems
رده :
QA76
.
758
.
I54
2011
